Test Purpose Oriented I/O Conformance Test Selection with Colored Petri Nets
نویسندگان
چکیده
منابع مشابه
I/O Conformance Test Generation with Colored Petri Nets
This paper explores Input-Output Conformance (IOCO) test generation with Colored Petri Nets (CPN). A test generation oriented CPN model and CPN based IOCO relation is proposed. Feasible test cases are generated by model simulation with the proof of its soundness. The method integrates the merits the IOCO testing theory and the CPN modeling synergistically, and is applied as a nontrivial and com...
متن کاملModeling workflow processes with colored Petri nets
The de®nition and maintenance of work¯ow processes have become important tasks for enterprises as work¯ow management systems (WFMS) are systematically applied to critical business processes. In order to simplify the management and usage of work¯ow processes and to integrate with other applications, a good modeling method is essential. The WFCP-net (work¯ow-net based on colored Petri net) is an ...
متن کاملModeling Agent Conversations with Colored Petri Nets
Conversations are a useful means of structuring communicative interactions among agents. The value of a conversationbased approach is largely determined by the conversational model it uses. Finite State Machines, used heavily to date for this purpose, are not su cient for complex agent interactions requiring a notion of concurrency. We propose the use of Colored Petri Nets as a model underlying...
متن کاملModeling Grid Workflows with Colored Petri Nets⋆
Grid computing refers to the deployment of a widely distributed architecture for the execution of computationally challenging tasks. The grid provides a set of distributed resources which can be used for “computing on demand” or for constructing a “virtual supercomputer”. Recently, several researchers started to look at the relation between workflow management and grid computing. The flow of wo...
متن کاملAutomated Test Case Generation using Petri Nets
Software testing is the process of determining the precision, quality, completeness and security of the software systems. An important step in testing software is the generation of test cases, whose quality plays a vital role in determining the time for testing and subsequently its cost. In this research, it is shown that both structural and behavioural diagrams can be used to represent specifi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Applied Mathematics
سال: 2014
ISSN: 1110-757X,1687-0042
DOI: 10.1155/2014/645235